Axiom systems of $B$-algebra, II

An Axiom Foundation for Un ertain Reasonings in Rule-Based Expert Systems: NT-Algebra?

SOME ERGODIC PROPERTIES OF HYPER MV {ALGEBRA DYNAMICAL SYSTEMS

This paper provides a review on major ergodic features of semi-independent hyper MV {algebra dynamical systems. Theorems are presentedto make contribution to calculate the entropy. Particularly, it is proved that thetotal entropy of those semi-independent hyper MV {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

A theory of Stochastic systems. Part II: Process algebra

This paper introduces (pronounce spades), a stochastic process algebra for discrete-event systems, that extends traditional process algebra with timed actions whose delay is governed by general (a.o. continuous) probability distributions. The operational semantics is defined in terms of stochastic automata, a model that uses clocks—like in timed automata—to symbolically represent randomly timed...

Algebra II

Notation. Sofern nicht anders angegeben, bezeichne K im folgenden einen beliebigen Körper, V einen (möglicherweise unendlichdim.) K-Vektorraum und f einen Endomorphismus V → V . Def. Zwei Matrizen A,B ∈ Kn×n heißen zueinander ähnlich, falls es eine Matrix S ∈ GL(n,K) gibt mit B = SAS−1. Bem. Dies definiert eine Äquivalenzrelation auf Kn×n. Def. Eine Matrix A ∈ Kn×n • ist in Diagonalform, wenn A...

On Axiom Systems of Pseudo-BCK Algebras

A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35